Resultaten visas 1 - 10 / 5100
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År

Generative Artificial Intelligence in Higher Education

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-031-55272-4_10
Romero, Margarida; Reyes, Jonathan; Kostakos, Panos
Palgrave Studies in Creativity and Culture2024

Artificial Intelligence in Healthcare: Directions of Standardization

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-83620-7_10
Alcini, Paolo ; Baird, Pat ; Williams, Peter ; Bhattacharyya, SB ; Cooper, Todd ; de la Cruz, Rich ;...
Intelligent Systems Reference Library2021

Ethical maintenance of artificial intelligence systems

Referentgranskad
DOI
10.4337/9781839104398.00018
Düdder, Boris; Möslein, Florian; Stürtz, Norman; Westerlund, Magnus; V. Zicari, Roberto
Edward Elgar Publishing2021

ICCMA 2023 : 5th International Competition on Computational Models of Argumentation

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2025.104311
Järvisalo, Matti; Lehtonen, Tuomo; Niskanen, Andreas
Artificial intelligence2025

Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2022.103697
Linsbichler, Thomas; Maratea, Marco; Niskanen, Andreas; Wallner, Johannes P.; Woltran, Stefan
Artificial Intelligence2022

An efficient algorithm for counting Markov equivalent DAGs

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2021.103648
Ganian, Robert; Hamm, Thekla; Talvitie, Topi
Artificial Intelligence2022

SAT Competition 2020

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2021.103572
Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin
Artificial Intelligence2021

Acceptance in Incomplete Argumentation Frameworks

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2021.103470
Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg
Artificial Intelligence2021

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2015.07.001
Berg, Jeremias; Järvisalo, Matti
Artificial Intelligence2017

Overview and Analysis of the SAT Challenge 2012 Solver Competition

Referentgranskad
DOI
10.1016/j.artint.2015.01.002
Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten
Artificial Intelligence2015

Generative Artificial Intelligence in Higher Education

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-031-55272-4_10
2024

Artificial Intelligence in Healthcare: Directions of Standardization

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-83620-7_10
2021

Ethical maintenance of artificial intelligence systems

Referentgranskad
DOI
10.4337/9781839104398.00018
2021

ICCMA 2023 : 5th International Competition on Computational Models of Argumentation

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2025.104311
2025

Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2022.103697
2022

An efficient algorithm for counting Markov equivalent DAGs

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2021.103648
2022

SAT Competition 2020

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2021.103572
2021

Acceptance in Incomplete Argumentation Frameworks

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2021.103470
2021

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

Referentgranskad
Öppen tillgång
DOI
10.1016/j.artint.2015.07.001
2017

Overview and Analysis of the SAT Challenge 2012 Solver Competition

Referentgranskad
DOI
10.1016/j.artint.2015.01.002
2015